Merge pull request #2966 from TsLenMo/master
authorFlorian Eckert <[email protected]>
Tue, 6 Aug 2019 10:06:12 +0000 (12:06 +0200)
committerGitHub <[email protected]>
Tue, 6 Aug 2019 10:06:12 +0000 (12:06 +0200)
Fix a software page style issue for rosy, Fix #2965.


Trivial merge